Fault Diagnosis Based on Backward Time Analysis
نویسندگان
چکیده
We study the problem of fault diagnosis in the context of timed discrete event systems (TDES). If an incorrect behaviour of the system is detected, the second phase denotes to the fault location. The aim of the fault location is to find the cause of a system dysfunction. Proposed method for fault location works with the timed model (timed automata) and is based on a model-checking technique. This technique (also called verification) treat a model of a plant by backward time analysis, the coherent trace in a timed automata is searched. Our method is illustrated by an example of two-tank system.
منابع مشابه
A Fault Diagnosis Method for Automaton based on Morphological Component Analysis and Ensemble Empirical Mode Decomposition
In the fault diagnosis of automaton, the vibration signal presents non-stationary and non-periodic, which make it difficult to extract the fault features. To solve this problem, an automaton fault diagnosis method based on morphological component analysis (MCA) and ensemble empirical mode decomposition (EEMD) was proposed. Based on the advantages of the morphological component analysis method i...
متن کاملA Fault Diagnosis Method for Automaton Based on Morphological Component Analysis and Ensemble Empirical Mode Decomposition
In the fault diagnosis of automaton, the vibration signal presents non-stationary and non-periodic, which make it difficult to extract the fault features. To solve this problem, an automaton fault diagnosis method based on morphological component analysis (MCA) and ensemble empirical mode decomposition (EEMD) was proposed. Based on the advantages of the morphological component analysis method i...
متن کاملOnline Fault Detection and Isolation Method Based on Belief Rule Base for Industrial Gas Turbines
Real time and accurate fault detection has attracted an increasing attention with a growing demand for higher operational efficiency and safety of industrial gas turbines as complex engineering systems. Current methods based on condition monitoring data have drawbacks in using both expert knowledge and quantitative information for detecting faults. On account of this reason, this paper proposes...
متن کاملFault Diagnosis of Analog Circuits with Tolerances Using Artificial Neural Networks
This paper proposes a method for analog fault diagnosis using neural networks. The primary focus of the paper is to provide robust diagnosis using a mechanism to deal with the problem of component tolerances and reduce testing time. The proposed approach is based on the k-fault diagnosis method and artificial backward propagation neural network. Simulation results show that the method is robust...
متن کاملارائه یک سیستم ترکیبی جدید در تشخیص نوع خطا در ترانسفورماتورهای قدرت براساس مقادیر گازهای حل شده در روغن
Transformers are one of the important and at the same time expensive components of power systems. On timely diagnosis of fault in such systems is still among the researchers interest. Fault diagnosis of transformers based on the dissolved gas analysis is a new technique in the field of fault diagnosis of power transformers. IEC, Roger’s and Dornenburg techniques are the mostly used techni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005